Henry Gordon Rice (* 1920) ist Mathematiker und Logiker. Er wurde vor allem durch seine Arbeit in der Theoretischen Informatik bekannt, die schließlich zu dem nach ihm benannten Satz führte. Den Beweis hierzu gab er in seiner Dissertation 1951 an der Syracuse University. == Einzelnachweise == ...